VDict mobile



many-sorted logic not found. Suggestions:

neutrosophic logic
Goedel
Quicksort
propositional logic
Wild_LIFE
predicate logic
equational logic
EQLog
logic
Emitter Coupled Logic